Results 151 to 160 of about 1,524,096 (164)

Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic

Journal of Logic and Computation, 2017
N. Kamide
semanticscholar   +1 more source

Syntactic Concept Lattice Models for Infinitary Action Logic

Workshop on Logic, Language, Information and Computation
S. Kuznetsov
semanticscholar   +1 more source

A $\varPi _1^0$-Bounded Fragment of Infinitary Action Logic with Exponential

Logic, Language, and Security, 2020
S. Kuznetsov
semanticscholar   +1 more source

The role of the Omitting Types Theorem in infinitary logic

Archive for Mathematical Logic, 1981
Jon Barwise
exaly  

Truth, Partial Logic and Infinitary Proof Systems

Studia Logica, 2017
Norbert Gratzl, Martin Fischer
exaly  

Extensions of countable infinitary logic which preserve most of its nice properties

Archive for Mathematical Logic, 1980
Leo Harrington
exaly  

A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic

Studia Logica, 2016
Tomáš Lavicka, Carles Noguera
exaly  

Infinitary S5-Epistemic Logic

Mathematical Logic Quarterly, 1997
Aviad Heifetz
exaly  

An infinitary variant of Metric Temporal Logic over dense time domains

Mathematical Logic Quarterly, 2004
Stefano Baratella, Andrea Masini
exaly  

Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas

Lithuanian Mathematical Journal, 1999
R Pliuškevičius
exaly