Search results

Modal Logics 2003-01-07 Paper Axiomatizing the monodic fragment of first-order temporal logic 2002-12-02 Paper Decidable fragments of first-order temporal...

2020-10-26 Paper A First-order Logic for Reasoning about Knowledge and Probability 2020-09-11 Paper Multi-agent logics for reasoning about higher-order upper and...

of second order generalized quantifiers 2010-04-15 Paper On definability in dependence logic 2009-10-21 Paper Team Logic and Second-Order Logic 2009-07-02...

Class of First‐Order Formulas in Which all Disjunctions are Binary 1967-01-01 Paper The Decision Problem for Segregated Formulas in First-Order Logic. 1967-01-01...

interpretation of “finite” modal first-order languages in classical second-order languages 1976-01-01 Paper A first-order logic of knowledge and belief with...

complexes 2013-12-11 Paper Relating first-order set theories, toposes and categories of classes 2013-12-10 Paper First-order logical duality 2013-02-19 Paper...

dynamics of dependence logic 2015-01-08 Paper Lottery semantics: a compositional semantics for probabilistic first-order logic with imperfect information...

FIRST-ORDER LOGIC 2023-03-02 Paper Coherence in inquisitive first-order logic 2022-08-02 Paper Inquisitive Logic 2022-06-09 Paper https://portal.mardi4nfdi.de/entity/Q3384064...

2020-12-04 Paper First-order definitions of subgraph isomorphism through the adjacency and order relations 2020-11-10 Paper First-order zero-one law for...

2021-06-10 Paper First-order Answer Set Programming as Constructive Proof Search 2018-12-04 Paper Answer set programming in intuitionistic logic 2018-01-12 Paper...

of the first-order linear temporal logic 2004-10-15 Paper Effective replaceability of the omega-rule for restricted sequents of the first-order linear...

2010-07-09 Paper On definability in dependence logic 2009-10-21 Paper Lindstrom theorems for fragments of first-order logic 2009-08-20 Paper From IF to BI. A tale...

2020-08-10 Paper Reconciling First-Order Logic to Algebra 2020-08-06 Paper On the Philosophy and Mathematics of the Logics of Formal Inconsistency 2019-10-31...

for reducible timed automata specified in a first order logic with time 2002-07-31 Paper A first order logic for specification of timed algorithms: Basic...

``The story says that operator in story semantics 1987-01-01 Paper A first-order logic with no logical constants 1987-01-01 Paper https://portal.mardi4nfdi...

2022-12-09 Paper The first-order theory of one-step rewriting is undecidable 2022-12-09 Paper First order data types and first order logic 2022-08-16 Paper...

CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I 1979-01-01 Paper INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I 1979-01-01 Paper...

An arithmetical view to first-order logic 2011-08-26 Paper Omitting types in an intermediate logic 2011-05-27 Paper A Łoś type theorem for linear metric...

Paper The logic of tied implications. I: Properties, applications and representation 2006-06-09 Paper First order quantifiers in monadic second order logic...

1999-12-14 Paper Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus 1999-03-07 Paper Completeness...