Finite model property - PDFSEARCH.IO - Document Search Engine

Finite model property
Results: 10

#	Item
1	Skolemization in intermediate logics with the finite model property Matthias Baaz University of Technology, Vienna Wiedner Hauptstraße 8–10 Vienna, Austria Add to Reading List Source URL: www.phil.uu.nl - Date: 2016-06-10 10:47:43
2	BIT manuscript No. (will be inserted by the editor) Computing predecessor and successor in rounding to nearest Siegfried M. Rump · Paul Zimmermann · Sylvie Boldo · Guillaume Melquiond Add to Reading List Source URL: www.lri.fr Language: English - Date: 2009-04-03 13:56:10 Finite model theory Mathematics Category theory Universal property FO Rounding Abstraction
3	Disjunction Property and Finite Model Property for An Intuitionistic Epistemic Logic Yoichi Hirai ∗ Add to Reading List Source URL: yoichihirai.com Language: English - Date: 2013-03-27 09:07:24 Proof theory Symbol Natural deduction Constructible universe Riemann surfaces
4	Satisability and Finite Model Property for the Alternating-Time -Cal ulus? Sven S hewe and Bernd Finkbeiner Universitat des Saarlandes, 66123 Saarbru ken, Germany fs hewejfinkbeinerg s.uni-sb.de Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2009-04-30 04:31:43 Æ Ω-automaton Linguistics Notation Automata theory Centimetre–gram–second system of units Metrology
5	Towards Domain-Specific Property Languages: The ProMoBox Approach Bart Meyers, Manuel Wimmer, Hans Vangheluwe, Joachim Denil The 13th Workshop on Domain-Specific Modeling @ SPLASH 2013 Motivation Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2013-11-06 12:27:21 Elevator Formal methods Software development Software engineering Philosophy of technology Temporal logic in finite-state verification Model checking Linear temporal logic Domain-specific modeling
6	Department of the Interior Property and Tenancy Ledger Add to Reading List Source URL: www.archives.act.gov.au Language: English - Date: 2014-03-13 01:33:40 FO Finite model theory
7	Department of the Interior Property and Tenancy Ledger Add to Reading List Source URL: www.archives.act.gov.au Language: English FO Finite model theory
8	Department of the Interior Property and Tenancy Ledger Add to Reading List Source URL: www.archives.act.gov.au Language: English - Date: 2014-03-13 01:39:27 FO Finite model theory
9	Lindstr¨om theorems for fragments of first-order logic (full version with appendices) Balder ten Cate∗ Add to Reading List Source URL: users.soe.ucsc.edu Language: English - Date: 2007-04-18 19:34:28 Philosophical logic Modal logic Metalogic First-order logic Interpretation Kripke semantics Finite model property Entailment Constructible universe Logic Mathematical logic Model theory

UPDATE