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...

CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES 2019-09-17 Paper Characterizing Strongly First Order Dependencies: The Non-Jumping...

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...

Preservation of Evidence 2020-08-10 Paper Reconciling First-Order Logic to Algebra 2020-08-06 Paper Logics of Formal Inconsistency enriched with replacement:...

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...

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...

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...

Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? 2014-08-07 Paper Preliminaries to Classical First Order Model Theory 2013-12-03...

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...

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

Axiomatizing the monodic fragment of first-order temporal logic 2002-12-02 Paper Decidable fragments of first-order temporal logics 2002-11-28 Paper https://portal...

Paper First Order Properties of Relations with the Monotonic Closure Property 1982-01-01 Paper A Note on the Compactness Theorem in First Order Logic 1980-01-01...